Database Instances, Abstract Data Types and Database Specification
نویسندگان
چکیده
منابع مشابه
A View of Database Management Systems as Abstract Data Types
In this paper, we attempt to outline a proposal of a database management system which supports an entityrelationship model, as a collection of abstract data tvpes. Each abstract data type in this collection can be for--' malized using algebraic axiom specification technique of Guttag; each can then be implemented to yield a set of interactive tools which will provide a formal and stepwise proce...
متن کاملKleisli Database Instances
We use monads to relax the atomicity requirement for data in a database. Depending on the choice of monad, the database fields may contain generalized values such as lists or sets of values, or they may contain exceptions such as various types of nulls. The return operation for monads ensures that any ordinary database instance will count as one of these generalized instances, and the bind oper...
متن کاملGraphic Specification of Abstract Data Types
Formally specifying software requirements using algebraic specifications has all the advantages of formal specifications. This type of specifications is usually textual. Most modern specification languages have a graphical representation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present a survey on how abstract data types are represented gra...
متن کاملrss and its application in scopus (abstract and citation database)
selective dissemination of information (sdi) is important in quick and update availability to information. sdi has also critical role in producing of knowledge. in this article has been explained one of the new information technology about sdi. at this survey has been explained about rss, rss feeds. rss readers (news aggregators), and also about install of feed reader (one of the rss readers). ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1985
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/28.2.154